UIDevice addition for generating numeric device-global DeviceIDs