class CoordinateEd25519 extends Coordinate {

    @Override
    public Coordinate negate() {
        return new CoordinateEd25519(value.negate()).mod();
    }

      CoordinateEd25519(BigInteger integer);

}