Infinite precision arithmetic