3 ms·

I wish we also had regular word-sized ints as well instead of everything being double precision with all kinds of weird edge cases.