A.2.1.3 Real Numbers

Reals can be given by simply typing a number containing a decimal dot (.). The plus sign (+) can be written optionally, a minus sign (-) must be written to represent a negative number, e.g.,

-.00017
0.0251
+314.15
5021.

or using the scientific format:

-.17e-3
2.51e-2
3.1415e+2
5.021E+3