f64 <= min(0.5)
