Use divMod in library, comment 132.