Fix a compatibility issue with Ceres (the Leela-ish alternate engine) in locales where decimal numbers use commas.
Note that Ceres must be configured before use in Nibbler (try running Ceres in the console and answering its questions).
Also, for best results with Ceres, note that using an N-based arrow filter (Display menu --> Arrow filter) is strongly recommended.