WYRT: downgraded post-condition of Math.abs() until a bug is fixed.