Fixup: remove trailing zeros (desugarer)
fixup: remove trailing zeros (base)