Might help other places to have the get-device-type functions in an #if IOS block in DeviceProperties.