Fix rounding in ICC version writing