Like I said in another reply, I'm talking about the specific claim that float64 ops take more CPU cycles. There are other ways for them to still be faster, like caching.