Seems normal to me. Microchip also puts their 32-bit and 64-bit chips with their SAM and PIC64 names.

Must be an embedded thing.