pub fn t_down(x: f32, coarse: bool) -> f32