• @[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.