Fix string.formatint sometimes referring to itself as string.format_int

Fix string.formatint sometimes referring to itself as string.format_int #4081