3 ms·

I'm not arguing TP3 couldn't produce x87 opcodes - I'm wondering if the author remembered to properly tell it to do so!