-arit_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi
-arit_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx
+number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi
+number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx