encoding of huge constants