pub fn w256_to_digits15(w: [b128; 2]) -> [b17; 15]
Fifteen 17-bit digits of a value below 2^255 held in two 128-bit words.
2^255