string(1 >= f64)
