encoding large domain literals