- use collected integers to create integers (integer, pos_integer, non_neg_integer)
- use collected integers to create integers (integer, pos_integer, non_neg_integer)


l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror