3 ms·

I like awk (and used it a lot 15-20 years ago), but that code to my eye is oversqueezed and hard to read.