type(i64 < f64)
