more work on well-defining and testing special values
more work on well-defining operations involving special values