Checking out DivMod functions