Definition: *rule_num-val*
(defconst *rule_num-val* (=_ *num-val* (/_ "%" (!_ (/_ *bin-val*) (/_ *dec-val*) (/_ *hex-val*)))))