Not sure I understand. Conversions between high degree bases can produce garbage, a user should be aware of that (and we might want to reiterate it in the docs). Smoothness is just one of the properties garbage does not have; and I don't see a way of reliably detecting that the conversion result is garbage, do you? 
Or are you talking about something else altogether?