code: public FieldElement add(FieldElement val) {
      int[] g = ((org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement) val).t;
      int[] h = new int[10];
      for (int i = 0; i < 10; i++) {
        h[i] = t[i] + g[i];
      }
      return new org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement(f, h);
    }
docs: $h = f + g$
  <p>
  TODO-CR BR: $h$ is allocated via new, probably not a good idea. Do we need the copying into
  temp variables if we do that?
  <p>
  Preconditions:
  </p><ul>
  <li>$|f|$ bounded by $1.1*2^{25},1.1*2^{24},1.1*2^{25},1.1*2^{24},$ etc.
  <li>$|g|$ bounded by $1.1*2^{25},1.1*2^{24},1.1*2^{25},1.1*2^{24},$ etc.
  </ul><p>
  Postconditions:
  </p><ul>
  <li>$|h|$ bounded by $1.1*2^{26},1.1*2^{25},1.1*2^{26},1.1*2^{25},$ etc.
  </ul>
  
  @param val The field element to add.
  @return The field element this + val.