is 2^-160 smaller than 1.6 ×10^−35