times

infix operator fun times(other: NonZeroInt): NonZeroInt
infix operator fun times(other: StrictlyNegativeInt): StrictlyPositiveInt
infix operator fun times(other: StrictlyPositiveInt): StrictlyNegativeInt