(module Gsl_ieee)