Proposal to fix the mess of '*_to_dec_string'