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