wordsize-64
ieee754/dbl-64/wordsize-64