Add pretty_int