We were not correctly reconstructing double-double-float signed zeroes
from fasl files. Use %make-double-double-float instead of make-double-double-float because the latter does a renormalization, which trashes the sign. The former constructs the double-double exactly as given, which is really what we want since the fasl has the correct components.
Loading
Please register or sign in to comment