So early in bitcoin's history it was such a rough calculation, I could imagine he just rounded to 20m for simplicity. Or genius that he was, maybe he anticipated lost coins to result in 20m coins anyway..🤷‍♂️