Currently there is no working built-in type for handling 80-bit floating point numbers.
Currently there is no working built-in type for handling 80-bit floating point numbers.