Real constants

Real constants consist of a sequence of decimal digits containing one period (.) and optionally followed by e or E and then by a possibly signed integer. If there is an explicit exponent, the period is not required. Real constants have type real.