let is_floating_arithmetic_operator = function
    CTTbinTimes -> true | CTTbinDiv -> true
  | CTTbinPlusVV -> true | CTTbinMinusVV -> true
  | _ -> false