Test for format_int due to #526