On Tue, Jan 07, 2003 at 08:38:33PM +0900, Oliver M. Bolzer wrote: > I agree with the proposal to use integers for version numbers. But we are already using integers for version numbers. Two of them. - Sebastian, who sometimes loves nitpicking