Ada has integer types that are basically defined by just their range, and if they are wrapping. So for example you might define

    type My_Tiny_Int is range 1 .. 20;
    type Unsigned_Wrapping_int is mod 2 ** 5;

I don't think it does any fancy inference based on that, just overflow checks.