string(type(1 < f64))
