numeric type checking in wildcards