package scala.math
trait Integral[T] extends Numeric[T] {
def quot(x: T, y: T): T
def rem(x: T, y: T): T
class IntegralOps(lhs: T) extends Ops(lhs) {
def /(rhs: T) = quot(lhs, rhs)
def %(rhs: T) = rem(lhs, rhs)
def /%(rhs: T) = (quot(lhs, rhs), rem(lhs, rhs))
}
override implicit def mkNumericOps(lhs: T): IntegralOps = new IntegralOps(lhs)
}
object Integral {
trait ExtraImplicits {
implicit def infixIntegralOps[T](x: T)(implicit num: Integral[T]): Integral[T]#IntegralOps = new num.IntegralOps(x)
}
object Implicits extends ExtraImplicits
}