♣️RA2lover on Nostr: I thought <plain>"1.#J"</plain> was just a rounding of <plain>"1.#IND" or ...I thought <plain>"1.#J"</plain> was just a rounding of <plain>"1.#IND" or "1.#INF"</plain>.