blob: 267baa1fe8ef616b9dc6f5723b06d37c0eb8fdae [file] [log] [blame]
Lev Walkinab1d1e12017-10-03 18:43:12 -07001-- Test the REAL (floating point) type.
2T ::= REAL
Lev Walkinc44edc02017-10-04 03:28:38 -07003T ::= REAL (WITH COMPONENTS { mantissa (-16384..16384), base (2), exponent (-10..10)})
Lev Walkinf11ebf82017-10-11 00:37:27 -07004T ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-149..104)})
Lev Walkinc44edc02017-10-04 03:28:38 -07005T ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1074..971)})
Lev Walkinf11ebf82017-10-11 00:37:27 -07006T ::= Real32 Real32 ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-149..104)})
Lev Walkinc44edc02017-10-04 03:28:38 -07007T ::= Real64 Real64 ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1074..971)})