title: Comparing integers of arbitrary types
body: <p>What is the fully typesafe and most flexible (in terms of <code>constexpr</code>) way to compare a two integers of two generally unexpected (different) types?</p>