what is the double dotted value when the triple dotted value is 15/128?
7/64