Added test for FROM - TO with floating-point number.
Added argument :TERMINATION-TEST.
Added test for BELOW.