Re: [GHC] #13477: Turn cIntegerLibraryType into a dynflag