4 ms·

This is correct. I have a 1.5-year-old OpenPGP card and can attest that all 3 of my keys are 3072-bit.