Module Gas_limit_repr.Arith

include Fixed_point_repr.Safe with type 'a t := 'a t
val integral_of_int_exn : int -> integral
val zero : 'a t
val add : 'a t -> 'a t -> 'a t
val sub : 'a t -> 'a t -> 'a t
val ceil : fp -> integral
val floor : fp -> integral
val fp : 'a t -> fp
val (=) : 'a t -> 'b t -> bool
val (<>) : 'a t -> 'b t -> bool
val (<) : 'a t -> 'b t -> bool
val (<=) : 'a t -> 'b t -> bool
val (>=) : 'a t -> 'b t -> bool
val (>) : 'a t -> 'b t -> bool
val compare : 'a t -> 'b t -> int
val equal : 'a t -> 'b t -> bool
val max : 'a t -> 'a t -> 'a t
val min : 'a t -> 'a t -> 'a t