Implement BCD.reduced