-record(positive_int, {inner :: integer()}).