Merge "Refined recognizing integral MIN-MAX-ABS."