Bulletin number: 72 Products affected: D700D Description: Library procedures for reading REAL numbers. Section 13.14 Component: THE DOCUMENTATION Date: Tue May 15 17:00:00 GMT 1990 ----- A paragraph should be added explaining that only numbers conforming to the syntax of occam REAL constants (without the type symbol), are accepted as valid REAL numbers. This means in particular that there must be at least one digit before the decimal point and there must be a sign before the optional exponent part. The only relaxation of the rule is the allowing of e as an alternative to E to introduce the decimal exponent.