class CoordinateEd448 extends Coordinate {

    @Override
    public Coordinate divide(Coordinate val) {
        BigInteger integer = val.getInteger();
        return new CoordinateEd448(value.divide(integer));
    }

      CoordinateEd448(BigInteger integer);

}