Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:47:15 +0100] rev 576
Fix extract_real (thanks Manuele), and add check for overflow.