Well, actually I don't care ;-) Feel free to handle it in whatever way you prefer...
In my opinion (as Eiffel user), there should not be a different behavior in C and in Eiffel. So C should be adapted to give the same result. This of course depends on the defined behavior of divisions by zero. If in Eiffel a infinite results, then so should in C (assuming an exception will be raised).