I was curious what was the story with Mobilon 4500/4600 processor. It has MIPS R4000 (Philips PR31700) processor rated at 73.7 Mhz. The same processor had Compaq C-Series and Philips Velo 500 but there processor was rated at 75 Mhz.
I have read long time ago that initially Sharp gave in their specifications 75 Mhz as well but third party research found that actually it was 73.7 Mhz only.
I am not comparing speed of any devices, just was looking for reasonable explanation why 75 MHz processor was rated at 73.7 MHz in Mobilon. However, there are many additional factors which impact overall device speed.