type(1 .. i64)
