That 80/82 bit format turned out to be problematic, as it was only used internally, and stored as 64 bits in memory. This meant that the same calculation could give different results based on whether an intermediate value had spilled to memory or not.