pub fn atv3(v: f32) -> f32