The default converts to Double, but specific operators
may better preserve semantics and precision for other types such as Int and Long.
The default converts to Double, but specific operators
may better preserve semantics and precision for other types such as Int and Long.