4 ms·

I'm not objecting to anything. Simply mentioning that the std deduction is 400$ more for 2019. Peace.