i'm not sure how the "." snuck in here, but we don't need it here to match a positive int.