Correct JPA handling of BigDecimals