[Bug 1427000] c2hs does not like gcc7 i686 __float128