remainder over

See: reversion