# MIPS uses IEEE 754 floating point.

mips/ieee754

ieee754/flt-32

ieee754/dbl-64/wordsize-64

ieee754/dbl-64