util: import public domain code for integer division by a constant