Update exponent.v