class CoordinateEd25519 extends Coordinate {

    @Override
    public final Coordinate divide(Coordinate val) {
        return new CoordinateEd25519(value.divide(val.getInteger()));
    }

      CoordinateEd25519(BigInteger integer);

}