arith011 is no longer broken with integer-simple