Qraizer: JoeUser, раз уж ты задумался о единицах измерения, то это уже совсем другая парадигма. К типам она не имеет отношения, она посредством них может быть реализована. Т.е. самоцель уже не типизировать PODы, а как типы применить в качестве инструмента. Ты б сначала эту парадигму хорошо продумал, что ты хочешь ею решить, а потом уже искал методы реализации. На скорую руку: посмотри std::common_type.

https://forum.sources.ru/index.php?showtopic=419092&view=findpost&p=3833605