El formato extendido x87 de 80 bits cumple este requisito.