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