Added pure function isValidNumericTypeID() to be used in CNumericType
constructor as argument to assertTrue. This is necessary to allow
the implementation of a subclass of CNumericType (that will have a different
definition for isValidNumericTypeID). Cleaned up a few
comments. [Contribution to JML Feature 738013]