Raymond Toy pushed new branch rtoy-fix-59-derive-decode-float at cmucl / cmucl