Btw., does anyone know who invented integer division as defined in C in the first place? Is it used outside of programming?