ensure integer is formatted without fraction digits

fixes #5179