@49016@mastodon.catgirl.cloud one can shorten a number buy cutting it off at any point, unlike with names