2 ms·Sadly, yes. Too bad that 80 bit floating point is essentially dead.by WalterBright 11mo agoSadly, yes. Too bad that 80 bit floating point is essentially dead.