div

@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun AnyInt.div(other: NonZeroInt): Int
@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun NegativeInt.div(other: StrictlyPositiveInt): NegativeInt
@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun NegativeInt.div(other: StrictlyNegativeInt): PositiveInt
@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun Int.div(other: NonZeroInt): Int
@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun PositiveInt.div(other: StrictlyPositiveInt): PositiveInt
@Since(version = KotoolsTypesVersion.V4_1_0)
operator fun PositiveInt.div(other: StrictlyNegativeInt): NegativeInt

Divides this integer by the other one, truncating the result to an integer that is closer to zero.