Sun, 10 Jun 2012 21:47:15 +0100 Mario de Sousa Fix extract_real (thanks Manuele), and add check for overflow.