[0.5 <= f64]
