Do we have a good quality converter of uniform numbers to Gaussian-distributed numbers around? -- Andrei