let data_of_integer (x : F.integer) : data = Data (F.wrap x)