Numeric Truncation Security Predicate. - Timofey Mezhuev; Ilay Kobrin; Alexey V. Vishnyakov; Daniil O. Kuts (CoRR, 2023)