Remove ieee754, move ieee754/dbl-64 and ieee754/flt-32 to s390/Implies.