プルーフ：測定ツールで小数点を使用できない

ユーザーがプルーフを表示している際に測定ツールを開き、任意のボックスに小数点のある数値を入力しようとすると、小数点が表示されません。ユーザーが数字を入力する前に小数点を入力すると、ボックスには「NaN」と表示されます。

最初に報告されたのは 2022年10月21日（PT）です。