More work on using FPU for floating-point operations.