Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.