Because `String`s internal representation for `len...

# announcements

[karelpeeters]

Because `String`s internal representation for length is also Int, so they can't be longer.