I'd even argue that flooring division is also more useful than round to zero and is also what binary shifting does. At least more useful for my use-cases (thing

I'd even argue that flooring division is also more useful than round to zero and is also what binary shifting does. At least more useful for my use-cases (things like dealing with coordinates in game worlds, ...), but unlike for modulo, at least here I can imagine use cases where the other option, round to zero, is also useful (e.g. financial, ...)