Avoid invalid substantial checks triggered by signed floating point zeros. Adds a QA check to ensure zone-self checks are maintained