int -> uint32