string(0.5 <= f64)
