I did 3 sequential fixes. Commits: e46a337: Fixed incorrect order of operands in uint256 subtraction => unit tests passes! 745b31b: Fix compilation errors, but tests fails. cc465af: fix include Created by My Badges
