Arbitrary precision arithmetic class for PHP