3 ms·

I must have commented in those moments between Julia editing the post and you editing your comment. Thanks for clarifying!