3 ms·

I'm not sure what you tried to prove by those docs, but they don't say that they deviate from IEEE-754.