convert to int