Sampling exactly from the normal distribution
MPFR: A multiple-precision binary floating-point library with correct rounding