In 5.1.2 it is observed that the set of widening primitive conversions can be partitioned into those that may result in a loss of precision, and those that preserve values exactly. It would be helpful for possible future features and compiler warnings, if we name these partitions.

I propose that we call the two partitions: (1) Exact widening primitive conversions, and (2) Inexact widening primitive conversions.

A spec change document is attached.