We do get numbers with Android, it is, very simply, Android 4.0 (currently 4.0.3) and there would be absolutely nothing wrong with saying just that. The "pet" name ICS or whatever is more commonly used around the web. But who cares, it is a superb update to the OS that has a more than average chance of unifying smartphone and tablet experience. Precisely what it set out to be.