Tighten number formatting implementation

Does `r0=-` mean that `r0` is undefined/not used on exit?