Def/Gaussian integer

   =Metadata=