Rework Rat stringification tests (and add FatRat ones) to conform to current spec.