Raymond Toy pushed new branch issue-458-double-double-mult-overflow at
cmucl / cmucl