Intel's $475M error: the silicon behind the Pentium division bug