Update num.h