Universal Binary JSON for PHP