wordsize-32
ieee754/soft-fp
ieee754/dbl-64
ieee754/flt-32
