Correct to pos_integer