Requirements should support uint64

[AidanWelch]

As of now, any number larger than 18446744073709550591((2^64)-1024) loses precision enough that its rounded up to 18446744073709552000 which is then larger than uint64 max and could cause runtime errors, especially as runtime spec won't match the written spec without warning.