3 ms·

I also love the bit about the floating point divide non-optimisation, and how it turned into a success.