checks_snl: _div_plus_mod