On Tue, 22 Jun 2021 at 20:38, Mel Dafert <m...@dafert.at> wrote: > Another idea - `is_internal()`, since it is not external code, and > internal would be the > opposite of external.
Unfortunately, because we cannot record internal vs external integers (too big of a change to how integers are stored), we are currently allowing all integers, as that helps adoption, without affecting security. Craig