Как разделить длину окружности на её диаметр?

1. Вообще должно получиться число PI=3.1415926

2. Если вопрос чисто практический, то надо замерить длину окружности при помощи нитки. Посмотреть длину нитки при помощи линейки. Замерить диаметр окружность линейкой. Ну и разделить ...