That said it's been pointed out to me that my link is statements by anonymous government officials, which is not the same thing as "official Iranian government numbers".