Add copyright to include/builtins/float.k.