Use of BigDecimal instead of float