pub fn t_up(x: f32) -> f32