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