87と85が合流するかどうかは自分に選択権があるのだから
「コンマ以下を切り捨ててるから同じ評価値」というのは嘘だよ
表示の順序として最短手数の85が上に来てるとしても、評価値は同じ

つーかソフトの評価値自体がそもそも無関係だけどな