Def/Gaussian integer 1