87 x 2 = 0:80 .