+ DisambiguateChoices.add_binary_op "times" "binary integer times"
+ HelmLibraryObjects.BinInt.zmult;
+ DisambiguateChoices.add_binary_op "power" "real power"
+ (const HelmLibraryObjects.Reals.pow_URI);
+ DisambiguateChoices.add_binary_op "power" "integer power"
+ (const HelmLibraryObjects.BinInt.zpower_URI);