Fix a bug when passing a float to truncate and giving a bignum result. src/ChangeLog addition: 2015-05-10 Aidan Kehoe <kehoea@parhasard.net> * floatfns.c (truncate_one_float): Fix a bug here when double_to_integer() (and previously float_to_int()) returned a bignum; this was silently treated as a fixnum, giving consistently incorrect remainders and less consistently-incorrect but still buggy divisors. tests/ChangeLog addition: Check that a bug when supplying #'truncate with one float that rounds to a bignum, has been fixed.

Here we have notes about the conversion to GPLv3. Things left to do,
things to check, etc...

* File with copyright notices that ought to be checked

"etc/gnuserv.1" and "etc/gnuserv.README". Copyright added with date
1998. If more accurate dates for the respective contributions can be
deduced it would be good.