Los formatos binary32 y binary64 son los formatos simple y doble del estándar original IEEE 754-1985.