This article was about improving floating point performance in general, they just used the benchmark as a benchmark. What correctness are you talking about here

This article was about improving floating point performance in general, they just used the benchmark as a benchmark. What correctness are you talking about here? The fact that floats are no longer being promoted to doubles for some operations? It's pretty unnecessary for most things, especially for a game engine.