1wordsize-32
2# C-SKY uses IEEE 754 floating point.
3ieee754/flt-32
4ieee754/dbl-64
5