Method doubleValue

src/main/java/pascal/taie/util/MutableInt.java:68–71

()

    }

    @Override
    public double doubleValue() {
        return value;
    }

    @Override
    public int compareTo(Number number) {