-record(ranged_int, {
    data :: bigi:big_int(),
    interface :: fun(() -> ranged_int@interface:interface(ranged_int@builtin@generic:ranged_int(any()), any()))
}).