type(i64 > f64)
