in reply to floating point addition

It's an FAQ!