parse integers of arbitrary precision
appease rpython

It seems rpython can't deduce that a variable is of the given type if
kt.check_type returns without exceptions.