4 ms·

Addendum, for any fans of Greg Egan that didn't know this existed: http://gregegan.net http://gregegan.net