type(i64 .. i32)
