Yes, in this case, it should probably be converted to BigDecimal right there.