VirtEx: use BigDecimal for values, amounts