(module Gsl_rng)