[GHC] #8861: Use commas to separate thousands when printing memory stats