Refactoring Code to assert at compile time instead of throwing an exception at runtime

Question

Consider the following code example, a simple template class wrapper with basic overloaded arithmetic operators. In this class\'s operator/ I\'m using the ternary o