Update number.h