valid_int_p

valid_int_p   number

Checks if a number is a valid integer

Source code:

    if {[regexp {[^0-9]} $number match]} {
	return 0
    } else {
	return 1
    }