i32 > int(i64)
