Update exponent.h