convert arc4random to stdint types