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