Interesting info (or not ?)
Users ID use generally 9 digits (10 now due to new users)
While bot ID’s always were at 10 digits
But they’re never used