max_uint32 is useful for the user.