pub fn t_down(v: f32) -> f32