type(i64 .. i64)
