Re: encoding of huge constants