Safe Numerics
Type Requirements
Numeric<T>
Integer<T>
PromotionPolicy<PP>
ExceptionPolicy<EP>
