num-modulo(m,0) should raise an exception