Re: Re[2]: returning to cost of Integer