`remainder()` should have special cases

[honno]

Right now xp.remainder() has no listed special cases, which should not be the case (e.g. what do we do with a floating 0 mod).

I imagine we'll want to pick from say xp.divide() for special cases.