Ensure verify actually checks the diff, and normalise all numbers