Are Apple Hardware UUIDs guaranteed to be in standard UUID format

I'd like to put my Apple hardware UUIDs into a database, and I wonder if they are always in the standard UUID format. For example: `b5e2cf01-8bb6-4fcd-ad88-0efb611195da ` Is there an Apple device in the last 10 years that has a non-standard hi-mom hardware UUID? What about an upcoming device?