The origin of the tropical