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