Page 31 4th line down in mine says

** Top 16 Bits of Multiplication

I also found the DIV32, however ?

May I inquire what you were saying, please

Pete