Re: [Hugs-users] 64-bit Ints