Fixes #5179: Fixed integer format