Make sure READ-FLOAT returns a float.

Make sure READ-FLOAT returns a float during cross-compilation. (This strategy just embeds a float into the calculation as opposed to an explicit conversion.)