Phpng bigint

Very much work-in-progress. ;)

See RFC: https://wiki.php.net/rfc/bigint

In particular, the TODO section: https://wiki.php.net/rfc/bigint#todo
)} is swapped here