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