Improved randf documentation