Impossible to get a user by a numerical user_login
I was wondering why I couldn't fetch a user by user_login doing wp user get <user>.
My users' user_login values in my system are just numbers, and looking at this part I realized that you test if the input is numerical then it's the ID.