datavtype num =
  | Float_num of float
  | Int_num of int