let from_ival_size ival size =
    match size with
    | Int_Base.Top -> top
    | Int_Base.Bottom -> assert false
    | Int_Base.Value int ->
        from_ival_int ival int