fix type of ints