Make sure READ-FLOAT returns a float.

During cross-compilation, READ-FLOAT can return a rational. Instead force it to give a float.