public decimal decimalValue() { return val; }
public static BigDecimal decrement(BigDecimal self) { return BigDecimal.valueOf(self.decimalValue()-1); }