`cast(into)s.length`