4 ms·

I don’t think this is right. I believe they raised it to 64 which is still 3 years earlier than the US.