R5RS provides quotient, modulo and remainder for integral division. R6RS extended this with div/mod and div0/mod0. A thorough analysis of possible division operations is provided in DivisionRiastradh. We need to choose which API we'll provide.
We cut this back to just the floor and round functions.
WG1 voted to accept DivisionRiastradh.