Create ExNum.h