wordsize-32 # MicroBlaze uses IEEE 754 floating point. ieee754/flt-32 ieee754/dbl-64