string(0.5 != f64)
