Actually, {-1, non_neg_integer()} is the minimum required.  But I'm happy with the coverage, given the `andalso` that's in the sanity check.