Comment by nixosbestos

ChatGPT thinks 9.11 > 9.9. I'm in no hurry.