add note about floating-point error