No, not overthinking, I guess we should make sure it is a pos_integer().