Added sdiv test
Fixed signed representation of 2^255