Today, when you double-tap a number with a decimal character, only part of the number is highlighted. e.g.,
123.45
when double tapping the number on the left side of the decimal today, only '123' would be highlighted. This makes copying and pasting numbers more of a chore than it needs to be, as I'd have to drag the cursor along the full number to highlight it all.
Instead, double tapping should highlight the entire number, on both sides of the decimal: '123.45'. This behavior would be in line with Chromium-based browsers.
At the very least, users should be given an option to change this behavior.