uint32: number

It only defines the type explicitly, no effects.