1/7 in binary