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