github.com/hyperledger/burrow@v0.34.5-0.20220512172541-77f09336001d/tests/jobs_fixtures/app58-operator-sdiv/readme.md (about)

     1  * According to [Ethereum Yellow Paper](https://ethereum.github.io/yellowpaper/paper.pdf),
     2  for signed division `a / b == sign(a/b) * floor(abs(a/b))`.
     3  Therefore, `7 / 3`, `7 / (-3)`, `(-7) / 3` and `(-7) / (-3)` should give `2`, `-2`, `-2` and `2` respectively.