title: Why does integer division by zero result in a floating point exception?
body: <p>Division by zero in a C program results in abnormal termination with the error message <code>Floating point exception (core dumped)</code>. This is unsurprising for floating point division, but why does it say this when integer division by zero occurs? Does integer division actually use the FPU under the hood?</p>
  
  <p>(This is all on Linux under x86, by the way.)</p>