Arbitrarily long integer handling for PHP