String table not used for special double values (#11289)

Change-Id: Ia96bb8fbcecb1b9ed57f3f7acf95aff98fce3241