$ 0 0 I'm not sure what I'm missing. Wouldn't a handful of manually overloaded constexpr functions do, possibly with a template catch-all that throws?