docs: @Pure
  	@Inline(value="$1.divide($2, $3.DECIMAL128)", imported=MathContext.class)
  	public static BigDecimal operator_divide(BigDecimal a, BigDecimal b) {
  		return a.divide(b, MathContext.DECIMAL128);
  	}