Code Editor : numericfwd.h