Sun, 10 Jun 2012 21:47:15 +0100 Mario de Sousa Fix extract_real (thanks Manuele), and add check for overflow.
Sun, 10 Jun 2012 15:54:10 +0100 Mario de Sousa cleaning up the code...
Sun, 10 Jun 2012 15:38:24 +0100 Mario de Sousa Fix remaining overflow checks.