CREATE TABLE table_51084 ("American name" TEXT, "British name" TEXT, "Value" TEXT, "Dotted Value" TEXT, "Double Dotted Value" TEXT, "Triple Dotted Value" TEXT)

what is the double dotted value when the triple dotted value is 15/128?
SELECT "Double Dotted Value" FROM table_51084 WHERE "Triple Dotted Value" = '15/128'
SELECT "Double Dotted Value" FROM "table_51084" WHERE "Triple Dotted Value" = '15/128'