yields 1 as remainder.