The paragraph discussing literal template arguments doesn't mention enumeral values. Do we use the value's <source-name>, or numerical representation in the underlying type?