Infinity handling for arithmetic operators has been added.

Missing complicated checks for detailed compliance with floating point
arithmetics.