`include BatNumber.Infix with type bat__infix_t = t`
`type bat__infix_t = t`
`val (+) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (-) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (*) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (/) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (**) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (--) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t`
`val (---) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t`
`val (=/) : num -> num -> bool`
`val (</) : num -> num -> bool`
`val (>/) : num -> num -> bool`
`val (<=/) : num -> num -> bool`
`val (>=/) : num -> num -> bool`
`val (<>/) : num -> num -> bool`
`val (+/) : num -> num -> num`
`val (-/) : num -> num -> num`
`val (*/) : num -> num -> num`
`val (//) : num -> num -> num`
`val (**/) : num -> num -> num`