sig
  type bat__infix_t
  val ( + ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t
  val ( - ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t
  val ( * ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t
  val ( / ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t
  val ( ** ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t
  val ( -- ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t BatEnum.t
  val ( --- ) :
    BatNumber.Infix.bat__infix_t ->
    BatNumber.Infix.bat__infix_t -> BatNumber.Infix.bat__infix_t BatEnum.t
end