F

f80

Convert 80-bit floats to 64-bit floats