floating point constants: PI / 2.0, PI * 2.0, 0.25

List of facts (generated by a specially written tool) in a well-known memory location, not a creative work. Not copyrightable.
