An implementation of IsGaussianInteger, a trait for determining whether a number is a Gaussian integer.
IsGaussianInteger