I\'d like to write a set of generic arithmetic functions that can act on any type that passes the is_arithmetic test. For example, this min function is ok:
t