string(0.5 >= f64)
