pub fn rand_01() -> f32