floating point constant 10.0

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