On 2014-07-15 20:09:40, Juergen Sauermann wrote: > Except that (not so obviously) : > > > 1E¯15 = 1E¯14 > 0
Sorry, my mistake. You're, of course, right. Current (r376) behaviour seems to be correct with one exception: 1E¯15 = 1E¯14 0 1E¯15J0 = 1E¯14J0 1 Both should be zero, because it's exactly the same number. -k