Generate routines for integer division, employing arithmetic and bitwise
operations only, which are 2.5x-3.5x faster than quot. Divisors must be
known in compile-time and be positive.