UnculturedButter

To add to this, if you want to move down the type safety path, have you considered going fully down that lane and moving to Strong Types? The base case...

Yeah, very similar. My work uses the StrongType idea with a little macro and CRTP to add in attributes like your NumericBase but in more sweeping terms like ` using...