“The digital abstraction and floating-point numbers, which are foundational to modern computing, have been in use since the 1940s.”