Mon, 06 Jun 2011 16:28:41 +0200Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)
laurent [Mon, 06 Jun 2011 16:28:41 +0200] rev 314
Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)