Fix bugs in addition and comparison; update README