. . . "vector casts: there is no such operation as your example; all widen and narrow ops are cardinality-preserving (N->N)." .