Merge changes I8052d979,I82aaf304 into pie-cts-dev * changes: Fix logics for floating-point comparision. Fix invalid tests for relaxed computation.