0.111 to binary