o Rename MAKE-DOUBLE-DOUBLE-FLOAT to be %MAKE-DOUBLE-DOUBLE-FLOAT.
o Add %MAKE-DOUBLE-DOUBLE-FLOAT to be an internal function that creates a double-double with exactly the parts given. o Add a new MAKE-DOUBLE-DOUBLE-FLOAT that adjusts the args appropriately before creating a double-double float, in case the args aren't split appropriately.
Loading
Please sign in to comment