correction of bad IRI. WARNING, may conflict with SILK. correction of undefined int or dec=> huge negative number (-120404040)