1# MIPS uses IEEE 754 floating point.
2ieee754/flt-32
3ieee754/dbl-64
4