Reduces the fraction and makes its denominator positive. Intermediate magnitudes use Long so Int.MIN_VALUE remains exact. The instance is unchanged if its normalized components cannot fit Int.