Remove out-of-date decimal_convert.