My reasoning is that the period is a "stronger" punctuation mark than the comma, and it should be used for the more important separation.

https://en.wikipedia.org/wiki/Decimal_separator

  • mayo_cider [he/him]
    ·
    2 days ago

    I feel you, I nowadays prefer doing the calculations in python and export the results in .csv for the freaks who prefer excel

    funnily enough, phone number parsing is one of my previous arch enemies. Having to turn whaterver bullshit user has typed into a phone number probably reduced my life expectancy by several months

    This reminds me of my futile attempts of parsing URLs with regex in my teenage years when I was trying to make a guestbook for my website with PHP (the solution is .*\..*)