Fix for 128-bit uint with new version of phpunit + doc clarification