translating using int()