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