Or, I hope this is the same question, is an elementary topos with a natural numbers object internally locally finitely presentable? Are there any references for this?