123.3 + 0.1 is 123.3999999999 ?

[Erik Max Francis]

Tim Rowe wrote:

> (It's true in the definition of real numbers mathematicians /usually/
> use, but there are alternative definitions available -- and used --
> when it's convenient to make the distinction)

If you're not using the normal definitions of real numbers, you need to
explicitly say so or no one's going to understand what you're getting at
... :-)

-- 
   Erik Max Francis && max at alcyone.com && http://www.alcyone.com/max/
 __ San Jose, CA, USA && 37 20 N 121 53 W && &tSftDotIotE
/  \ If you think you're free, there's no escape possible.
\__/  Baba Ram Dass