(mul (min) +0.1) is 0.0
(mul (min) +0.2) is 0.0
(mul (min) +0.3) is 0.0
(mul (min) +0.4) is 0.0
(mul (min) +0.49999999999999999) is 0.0
(mul (min) +0.5) is 0.0
(mul (min) +0.50000000000000001) is +0.00000000000000001
(mul (min) +0.6) is +0.00000000000000001
(mul (min) +0.7) is +0.00000000000000001
(mul (min) +0.8) is +0.00000000000000001
(mul (min) +0.9) is +0.00000000000000001
(mul (min) +0.99999999999999999) is +0.00000000000000001
(mul (min) +1.1) is +0.00000000000000001
(mul (min) +1.2) is +0.00000000000000001
(mul (min) +1.3) is +0.00000000000000001
(mul (min) +1.4) is +0.00000000000000001
(mul (min) +1.49999999999999999) is +0.00000000000000001
(mul (min) +1.5) is +0.00000000000000002
(mul (min) +1.50000000000000001) is +0.00000000000000002
(mul (min) +1.6) is +0.00000000000000002
(mul (min) +1.7) is +0.00000000000000002
(mul (min) +1.8) is +0.00000000000000002
(mul (min) +1.9) is +0.00000000000000002
(mul (min) +1.99999999999999999) is +0.00000000000000002