let get_operator_fa n1 n2 = function
    CTTbinTimes -> n1 *. n2 | CTTbinDiv -> n1 /. n2
  | CTTbinPlusVV -> n1 +. n2 | CTTbinMinusVV -> n1 -. n2
  | _ -> assert false