Formatos binarios de los números en coma flotante del estándar IEEE 754 (2008).