Add note about round-off