let wrap_double i =
  Some
    (V_Offsetmap.update_ival
       ~with_alarms:CilE.warn_none_mode
       ~validity:Base.All
       ~offsets:Ival.zero
       ~exact:true
       ~size:(Int.of_int (bitsSizeOf doubleType))
       V_Offsetmap.empty
       (V_Or_Uninitialized.initialized i))