FloorF (FUN [...] Returns the greatest [...] not greater than f

Truncate (FUN [...] : LREAL Round to the [...] NaN, then f is

TruncateF (FUN [...] F : REAL Round to the [...] NaN, then f is

HexReal ¶ DeserializeHexReal (Function) SerializeHex

the hex real are [...] iff ps^ is ‘F16#NaN’, iE and diM are 0

the format R16 [...] and exponent are [...] * 2^(iE mod 4). See

GetLRealSpecialVal (FUN) ¶ FUNCTION GetLRealSpecialVal [...] Type Return GetLRealSpecialVal

IsLRealNaN (FUN [...] the given LREAL value is a special NaN

IsLRealNegInfinity (FUN) ¶ FUNCTION IsLRealNeg [...] the given LREAL

number and not a [...] RealNumber (FUN) ¶ FUNCTION Is [...] the given REAL