wordsize-64
# ia64 uses IEEE 754 floating point.
ieee754/flt-32
ieee754/dbl-64
ieee754/ldbl-128