Update GMP php manual example tests for 5.6 changes