let
round_down_to_zero v modu =
mul (pos_div v modu) modu