DBG_CHECK_NUM      48 core/number.c    DBG_CHECK_NUM(self); \
DBG_CHECK_NUM      49 core/number.c    DBG_CHECK_NUM(num); \
DBG_CHECK_NUM      58 core/number.c    DBG_CHECK_NUM(self); \
DBG_CHECK_NUM      59 core/number.c    DBG_CHECK_NUM(num); \
DBG_CHECK_NUM     360 core/number.c    DBG_CHECK_NUM(self);
DBG_CHECK_NUM     382 core/number.c    DBG_CHECK_NUM(self);