Parse integers and chars as zarith bignums