Исполняет сопроцессор. Там может делитель тактовой частоты стоит.
Сопроцессор исполняет только команды с кодами 17xxxx. Неужто деление получается 26 с лишним миллионов операций секунду? Учитывая, что поделить на 16 разрядов, надо 16 сдвигов, то какой делитель тактовой частоты нужен? Может поэтому он и греется так, надо кулер на него сажать.