mips/ieee754 mips wordsize-32