of a double-float in multiple-values. This is better than calling double-float-high/low-bits which causes 2 stores to the stack to be done.