div

operator fun div(scale: Int): Priority(source)

operator fun div(scale: Double): Priority(source)

Returns a priority whose value is this priority value divided by the given scale number.