I had a test that cared about the difference between value="5.0" and value="5".
https://github.com/sebastianbergmann/phpunit/issues/1292