type(f64 != i64)
