path: root/sysdeps/mips/mips64/Implies

# MIPS uses IEEE 754 floating point.
mips/ieee754
ieee754/flt-32
ieee754/dbl-64