floating point constants: 1.0 / sqr(2.0) , sqr(2.0), -0.5, log_e(2.0)

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