# Extended floating point (f80) A 80-bit floating point type that provides greater precision than the basic floating-point formats. It is an x86 exclusive and it's mainly used to minimize roundoff and overflow errors in smaller floating point types. For non-compatible targets, the "f80" type is an alias of "f64"
See the Wikipedia article