Numeric value elements are never ambiguous.
This is a simple consequnce of num-val-unambiguous.
Theorem: element-num-val-unambiguous
(defthm element-num-val-unambiguous (implies (element-case element :num-val) (element-unambiguousp element rules)))