Cleaned up incorrect JAXB use of BigDecimal where double should have
been used.