Improve test: gauche trunk seems to enforce checking overflow.