John Carlos Baez on Nostr: - yes, I guess there's no known way to notate hyperreals using something that ...- yes, I guess there's no known way to notate hyperreals using something that generalizes decimals?