Ziggurat: Fix an underflow-bug and add a regression test#1379

wasowski wants to merge 1 commit intotypelevel:maintypelevel/spire:mainfrom

wasowski:ziggurat-underflow-fixwasowski/spire:ziggurat-underflow-fixCopy head branch name to clipboard