added uint32() type