Actually HDR rendering and then dithering the output would solve a majority of the banding issues in dark scenes of games, so it is not a total waste if they do it properly.