Tweaked buffer use in format_int