[GHC] #7750: Pretty printing of human-readable integers is incorrect