Add assumption: zero is finite

fixes #8075
This is also a good test case demonstrating why nan's properties should be False: you won't have to differentiate between these cases and that makes everything a LOT simpler.