But this is still perplexing: Surely, Linux just uses IEEE754 floating point, which predates this patent by 15 years?
But this is still perplexing: Surely, Linux just uses IEEE754 floating point, which predates this patent by 15 years?