Floating point was not supported in the Linux kernel to avoid having to save/restore FP registers.

Yeah floats works