> On Nov 9, 2020, at 19:20, Daniele Varrazzo <daniele(dot)varrazzo(at)gmail(dot)com> wrote:
>
> Choices to cast Python ``int`` type:
Is it absurd to make the choice at execution time, based on the actual value of the Python int?
--
-- Christophe Pettus
xof(at)thebuild(dot)com