(decode_rtx_const, case CONST_DOUBLE): Use to hash CONST_DOUBLE representing an integer. From-SVN: r10304
