Add pending for Numeric valid_value_predicate_spec

This have to do with the bug from axiom-types and Numeric types