And division by zero is still undefined in Robinson's hyperreals.

Many extensions of the reals can be constructed, of varying interest and usefulness, but if they remain fields, then they have a zero, division by which is undefined.