Divisão por zero em um programa C resulta em finalização anormal com a mensagem de erroFloating point exception (core dumped). Isso não é surpreendente para a divisão de ponto flutuante, mas por que isso ocorre quando ocorre a divisão de números inteiros por zero? A divisão inteira realmente usa o FPU sob o capô?

(Isto é tudo no Linux sob x86, a propósito.)