path: root/ports/sysdeps/mips/Implies

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