-XBT_PUBLIC(float) random_generate(random_data_t random);
-XBT_PUBLIC(random_data_t) random_new(int generator, int min, int max, int mean, int stdDeviation);
+XBT_PUBLIC(double) random_generate(random_data_t random);
+XBT_PUBLIC(random_data_t) random_new(e_random_generator_t generator,
+ long int seed,
+ double min, double max, double mean,
+ double stdDeviation);