Recent work on sign bit operations led to more thoughts and suggestions about 5.2.4.2.2. See https://wiki.edg.com/pub/CFP/WebHome/More_about_5.2.4.2.2.pdf - Jim Thomas