This is only a bignum on 32 bit systems. Definitely a useful value to test, but probably better to name the spec differently.

it "converts the maximum uint value"