/* With:  NUMERIC DIGITS 5 */
12+7.00     -->    19.00
1.3-1.07    -->     0.23
1.3-2.07    -->    -0.77
1.20*3      -->     3.60
7*3         -->    21
0.9*0.8     -->     0.72
1/3         -->     0.33333
2/3         -->     0.66667
5/2         -->     2.5
1/10        -->     0.1
12/12       -->     1
8.0/2       -->     4
2**3        -->     8
2**-3       -->     0.125
1.7**8      -->    69.758
2%3         -->     0
2.1//3      -->     2.1
10%3        -->     3
10//3       -->     1
-10//3      -->    -1
10.2//1     -->     0.2
10//0.3     -->     0.1
3.6//1.3    -->     1.0