Proposing a string_.format_int

@wolever thoughts?

(Modified version from earlier email.)