enforcing integer bounds on Arrays