Yeah, and since scientists and mathematicians like Al-Biruni had figured out what had to be the approximate circumference of the Earth centuries before using what’s essentially basic trigonometry, Columbus’s contemporaries were absolutely right to think his underselling was ridiculous.