BigInt

The BigInt class is now part of the PHPLint Standard Library, please visit the PHPLint project page.