type(max(f64, 0.5))
