floating point constant PI * 2.0

A fact (generated by a specially written tool), not creative work. Not copyrightable.