allen on Nostr: smoothness suggests a continuum whereas you can have infinitely divisible rational ...