docs: public double[] getScaleDenominators() {
          double[] dest = new double[this.scaleDenominators.length];
          System.arraycopy(this.scaleDenominators, 0, dest, 0, this.scaleDenominators.length);
          return dest;
      }