bntests.txt: add a couple of checks of possibly negative zero