Int package:non-negative