Mon, 06 Jun 2011 16:29:08 +0200 laurent Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)