Added (Arith Integer String String) convenience instance