This function is GNU specific, but it returns floating points directly.
By using it, we don't have to copy or proxy RAND_MAX to the non-C code.