cast number to int