Torque xlr toyhauler bed size

Can someone please tell me if the king sized beds that come in the TQ XLR's are true residential size?

They are 72×80 , 4" narrower than a residential but same length.

Thanks...
Darn! I was hoping to replace the factory bed with a walmart bed in a mattress. In our previous RV, we used a Walmart queen bed in box and it was terrific...
Maybe I can stuff a king size bed. I'm waiting on delivery of a Torque TQ31, which as a walkaround bed. Mattress would only be squeezed in-between the nightstands. This may work..

If you have extra room at the foot of the bed you can get a California king which is 72×84

That's a great alternative.. thanks for that idea.