sig
  val ( =/ ) : BatNum.num -> BatNum.num -> bool
  val ( </ ) : BatNum.num -> BatNum.num -> bool
  val ( >/ ) : BatNum.num -> BatNum.num -> bool
  val ( <=/ ) : BatNum.num -> BatNum.num -> bool
  val ( >=/ ) : BatNum.num -> BatNum.num -> bool
  val ( <>/ ) : BatNum.num -> BatNum.num -> bool
  val ( +/ ) : BatNum.num -> BatNum.num -> BatNum.num
  val ( -/ ) : BatNum.num -> BatNum.num -> BatNum.num
  val ( */ ) : BatNum.num -> BatNum.num -> BatNum.num
  val ( // ) : BatNum.num -> BatNum.num -> BatNum.num
  val ( **/ ) : BatNum.num -> BatNum.num -> BatNum.num
end