3 ms·

I thought the same thing. We do have pretty compact ways to write now though. For example 15,000 can be written as 15k.