Why not throw a division by zero exception here?