10 ms·

And not only that, but you can use a special-purpose optimiser for a different domain and somehow get great results!