I am happy with int, but in other places have you not used hex?