• @MumboJumbo
      link
      123 months ago

      That sort of lead sounds irrational

      • @[email protected]
        link
        fedilink
        English
        23 months ago

        Nah, that’s a natural number. An irrational lead would be if he lead by π or something like that.

        • @MumboJumbo
          link
          43 months ago

          A few orders of magnitude off, but that’s the first 10 digits of pi.

          • @[email protected]
            link
            fedilink
            English
            43 months ago

            My dumb brain was too busy trying to make a joke about irrational numbers to not even notice one had been made for me.

            • @MumboJumbo
              link
              33 months ago

              It’s all good. My brain’s pretty idiotic most of the time, so I can relate.