Fixes

• PHP7.1/7.2's implemention of serialize precision causes json_encode to float version numbers like 5.1 as 5.0999999999996, which disrupts our hashing algorithm.