Bug fix and further test cases to ATInt.  Thanks to Matti Pauna and Anna Kairema for reporting this problem.