Yes, I was perhaps unclear - VFP, while useful for floating point, is not exactly a x86 style FPU and thus is not really a good basis for generic CPU performance comparison.