work in cleaning up equality specs
fixing a bug with equality checking and negative numbers