int positive type value check