Definition:Real Modulo Addition