Progress with the class Int.