Commit 290e2c7f authored by Lev Walkin's avatar Lev Walkin

REAL constraint ranges fixed after Corrigendum 1

parent b5b524b1
...@@ -16,22 +16,22 @@ DEFINITIONS ::= BEGIN ...@@ -16,22 +16,22 @@ DEFINITIONS ::= BEGIN
Indirect-IEEE-binary32 ::= UnconstrainedREAL (WITH COMPONENTS { Indirect-IEEE-binary32 ::= UnconstrainedREAL (WITH COMPONENTS {
mantissa (-16777215..16777215), mantissa (-16777215..16777215),
base (2), exponent (-323..292)}) base (2), exponent (-149..104)})
-- X.696 (08/2005) #12.2 and #12.3 -- X.696 (08/2005) #12.2 and #12.3
-- IEEE 754 encoding single precision -- IEEE 754 encoding single precision
IEEE-binary32-w ::= REAL (WITH COMPONENTS { IEEE-binary32-w ::= REAL (WITH COMPONENTS {
mantissa (-16777215..16777215), mantissa (-16777215..16777215),
base (2), exponent (-323..292)}) base (2), exponent (-149..104)})
IEEE-binary32-0w ::= REAL (0 | WITH COMPONENTS { IEEE-binary32-0w ::= REAL (0 | WITH COMPONENTS {
mantissa (-16777215..16777215), mantissa (-16777215..16777215),
base (2), exponent (-323..292)}) base (2), exponent (-149..104)})
IEEE-binary32-w0 ::= REAL (WITH COMPONENTS { IEEE-binary32-w0 ::= REAL (WITH COMPONENTS {
mantissa (-16777215..16777215), mantissa (-16777215..16777215),
base (2), exponent (-323..292)} | 0) base (2), exponent (-149..104)} | 0)
-- IEEE 754 encoding double precision -- IEEE 754 encoding double precision
IEEE-binary64-w ::= REAL (WITH COMPONENTS { IEEE-binary64-w ::= REAL (WITH COMPONENTS {
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment