Export the floating point format.
Fix symbol resolution to the CL-TUPLES package.