user-input cast zu int