Raymond Chen has two blog posts that first describes why Space Cadet was removed because of a 64-bit rounding mode bug and then a follow-up post a decade later clarifying that that might not be the full story.

It's a fun bit of Windows history trivia.

- https://devblogs.microsoft.com/oldnewthing/20121218-00/?p=58... - https://devblogs.microsoft.com/oldnewthing/20220106-00/?p=10...