Как добавить параметры запроса в token_endpoint в URL-адресе обнаружения OIDC

Это зависит от того, как вы храните и получаете доступ к карте, да, аналогичные значения могут оказаться немного разными и, следовательно, не иметь хэша с тем же значением.

private static final double key1 = 1.1+1.3-1.6;
private static final double key2 = 123321;
...
map.get(key1);

все-таки хорошо, однако

map.put(1.1+2.3, value);
...
map.get(5.0 - 1.6);

будет опасным