Update DoubleValueArith.java