De hecho, este número fue conocido en el continente durante mucho tiempo como "número ludolphino".