Random variate generator for the GIG distribution