Re: [GHC] #14432: Outdated comment in GHC.Real