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