Wed, 18 Jul 2012 23:43:57 +0100 Mario de Sousa comment out un-used code.
Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.
Wed, 18 Jul 2012 17:10:57 +0100 Mario de Sousa Cleaning up the code.