Update BigInt.php