Raymond Toy pushed new branch issue-425-correctly-rounded-math-functions-single-float at cmucl / cmucl