fix positive int