minor addition to Ints