Updated phpdoc of BigInteger