1wordsize-64
2# ia64 uses IEEE 754 floating point.
3ieee754/float128
4ieee754/ldbl-96
5ieee754/dbl-64
6ieee754/flt-32
7