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 [...] LRealNumber (FUN) ¶ FUNCTION Is [...] the given LREAL

IsLRealPosInfinity (FUN) ¶ FUNCTION IsLRealPos [...] the given LREAL

GetRealSpecialVal (FUN) ¶ FUNCTION GetRealSpecialVal [...] Return GetRealSpecialVal

IsRealNaN (FUN [...] the given REAL value is a special NaN

IsRealNegInfinity (FUN) ¶ FUNCTION IsRealNeg [...] the given REAL

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