div

operator fun div(scale: Int): Priority

operator fun div(scale: Double): Priority

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