Original bug ID: 4170
Reporter: Richard Jones
Assigned to: @garrigue
Status: resolved (set by @alainfrisch on 2016-12-07T17:42:27Z)
Resolution: suspended
Priority: normal
Severity: feature
Version: 3.09.2
Category: standard library
Related to: #5173
Monitored by: mehdi warwick @Chris00

Bug description

The stdlib should (IMHO) define a pi constant in Pervasives.