Fixes to math operator specs

Change-Id: Icac6ac261673c47b3c847f5393df57b7cf77db21
Describe the up-down problem

Change-Id: I5f42656c2f13029cf7bffdc7876ff4362ed3e02a