times

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