Este paquete es equivalente a una instanciación del paquete genérico Float_IO, anidado dentro de .