-record(interface, {
    to_bigint :: fun((any()) -> bigi:big_int()),
    from_bigint_unsafe :: fun((bigi:big_int()) -> any()),
    limits :: fun(() -> ranged_int@interface:limits(any()))
}).