Add assumption: zero is finite

fixes #8075