EXT_TO_ARRAY32
EXT_TO_ARRAY32(u, bits);
EXT_TO_ARRAY32(extu, &frac[2]);
EXT_TO_ARRAY32(extu, &frac[1]);