Bug fix makereducedmixednumber