Generate singleton versions of "div" and "mod".