convert to integer