Add assumption: zero is finite

fixes #8075
see #8045