@type t() :: 1..1_800_000
@spec default() :: t()
@spec max() :: t()
@spec min() :: t()
@spec valid?(any()) :: boolean()