Thanks. [3] is essentially the outline of the first course I took from him. It didn't occur me that SRT division might have any recent relevance, ancient histo

Thanks. [3] is essentially the outline of the first course I took from him. It didn't occur me that SRT division might have any recent relevance, ancient history and all that, but Google tells me that the Pentium floating point bug was in fact a buggy lookup table for SRT division and that it is still apparently in use in microprocessors today. I wish he could know that.