translation
some leftover of putting format_int per #449