Proofs: Measuring tool does not accept decimal points

When a user is viewing a proof, opens the measuring tool, and attempts to put a number with a decimal point in any box, the decimal point does not appear. If the user enters a decimal point before entering any digits, the box displays “NaN”.

First reported on October 21, 2022.