Tinflex - Universal non-uniform random number generator