pub fn rand01() -> f32