Use DOUBLEKIND in S_hextract() setup.
Add a note about the buffer wastage of double-doubles.