Changes to work with QuickCheck 2.7.6 (which removed Num instances for
the NonNegative newtype).