Force casting of user_no to integer.