Gaussian_integer loading ...