Casting usernumber to an int