Provides a trait for numeric types to perform combined multiplication and division with overflow protection.