LREAL

Gleitpunkttyp mit einer doppelten Genauigkeit, der benötigt wird bei Verwendung von rationalen Zahlen.