let inject_zero_max size =
     match size with
    | Int_Base.Top -> top
    | Int_Base.Bottom -> assert false
    | Int_Base.Value int ->
        inject_one ~value:Int.zero  ~size:int