rounding negative zero values for MIC verification