===> Cleaning for hs-ieee754-0.8.0nb5