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
IsRealPosInfinity (FUN) ¶ FUNCTION IsRealPos [...] the given REAL
HexStrToLReal (FUN) ¶ FUNCTION HexStr [...] DeserializeHexReal for a
HexStrToReal (FUN) ¶ FUNCTION HexStr [...] . See DeserializeHex