3 ms·

That is inflation adjusted. Note "with all figures adjusted to reflect 2017 dollars"

• JadeNB 6y ago
  Yes, you're quite right. I don't know how I missed that. Thanks!