[tlaplus] TLC Nat and Integers...still using 32 bit?

["thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>]

I decided to waste my time modeling the Collatz Conjecture, and I was shocked to see that 774840977 caused an overflow.

Unless I'm mistaken, TLC is still using a 32 bit integer? 

In 2025 is there any reason not to use use a long instead of an int? I'd be happy to make a PR converting it to long if people think there would be value in that. 

Personally I think that BigInteger fits more into the ethos of what TLA+ is supposed to be (an abstract model, not a programming language), but I realize that that would carry a performance overhead that might upset many people. 

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/4b253500-3a60-4b85-9bbe-a62e1fff4f56n%40googlegroups.com.