2 ms·

Great point on x87 being set in stone in 32bit ABIs. Specifically Windows were 32bit software is still very common!