experimentally support (//)/2 in arithmetic expressions. Ulrich Neumerkel, i3a#325.