max(0.5) <= f64
