On Mon, Jul 06, 2009 at 03:20:53AM +0200, Nicolas Cellier wrote: > > OK, my week-end assignments could not start before Sunday night, but I > lately confirm VMMaker-dtl.124 is correct wrt Float comparison. Thank you for the follow up and for the new unit tests. I marked Mantis 7260 as "resolved" again. Dave