php/php-src — pull request #700 by TazeTSchnitzel (2014-06-21 19:50:23+00:00)
Title: Phpng bigint

Very much work-in-progress. ;)