Fix integer formatting.