Start work to support real arithmetic for x32, using
current floating point instructions.