Put BigDecimal extension into own file