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