1wordsize-32
2# MicroBlaze uses IEEE 754 floating point.
3ieee754/soft-fp
4ieee754/flt-32
5ieee754/dbl-64
6