Is there a reason to avoid using BigDecimal here?