[ETS] Prove bounded numeric builtin calls - #365

[ETS] Prove bounded numeric builtin calls#365

CaelmBleidd wants to merge 5 commits into

neoUnitTestBot/jacodb:neofrom

caelmbleidd/expanded-numeric-builtin-proofUnitTestBot/jacodb:caelmbleidd/expanded-numeric-builtin-proofCopy head branch name to clipboard