Re: strange box-offset

[<br...@ph...>]

Mojca Miklavec wrote:

> 32.09+18.03=50.12,

... only in a mathematically perfect world.  In the real world,  those 
numbers 32.09 and 18.03 just as probably are 32.086 and 18.026 (rounded 
for display) --- now you check beck if they really add up to 50.12.

One of the reasons the terminal interface uses integers, not 
floating-point numbers, is exactly this: that's virtually impossible to 
get floating-point numbers to equal each other exactly and avoid round-off.