# E2k uses IEEE 754 floating point
ieee754/float128
ieee754/ldbl-96
ieee754/flt-32
ieee754/dbl-64
