This code probably predates Uint32Value() but that's what it should be.