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