Fixes #5179: Fixed integer format

you're right