On 3 March 2010 15:29, Jonathan <jsealy@xxxxxxxxx> wrote: > It has not received any explanations yet. > On the one hand it appears not to be a problem but on the other hand could > be a spectacular bug. > It's probably just you not understanding what floating point numbers are. Go read http://en.wikipedia.org/wiki/IEEE_754-2008