If you defined irrational numbers as rather than , then you would be in the uncomfortable position of calling both and irrational, even though the first looks almost like a rational, even an integer, whereas the second looks more like what we expect from an irrational. Instead, it's cleaner to define Gaussian rationals as those complex numbers where both and are rational. So the first example above is a Gaussian rational (in fact a Gaussian integer), whereas the second is not.