Convert to integer here rather in all places below.