uint -> u32