Better DIV grammar to handle case: 1/2 2/3; also, a new dots pattern added.