I have had a Tuxedo InfinityBook 14 Gen7, and I’ve been happy with it. They focus on hardware that has a good compatibility with Linux, so it works well out of the box without any tinkering. You say you don’t have a high budget though, so these might be too expensive (I believe you can get similar specs at a lower price), but I’ve also been very satisfied with the after sales service they have provided - I’ve had some issues with it since I got it, but if it was Tuxedo specific (or appeared to me to be Tuxedo specific), and thus not easy to find general troubleshooting help online, I contacted them and I was helped out promptly, both via e-mail and the phone.
It uses a comma instead of a punctuation mark as the decimal point. Default numbers formatting on my system uses a punctuation mark. In other words, it is ignoring my system settings for what numbers should look like.
In that case I would expect it to output the numbers without the delimiter. But I have not set the number formatting to American English.