Ref #2 PositiveInteger added