John Ericson authored Nov 23, 2020 and Marge Bot committed Nov 28, 2020

Harmonize the internal (big sum type) names of the native vs fixed-sized
number primops a bit. (Mainly by renaming the former.)

No user-facing names are changed.