Multiplies two numbers, returning the tightest sound branded result type.
The sign follows the usual product rule (e.g. negative times negative is positive); the level is preserved (with SafeInt widening to Int). No clamping.
SafeInt
Int
The first factor.
The second factor.
a * b, typed as the tightest branded type guaranteed to contain it.
a * b
Multiplies two numbers, returning the tightest sound branded result type.
The sign follows the usual product rule (e.g. negative times negative is positive); the level is preserved (with
SafeIntwidening toInt). No clamping.