again dummy thing due to dropbox
fixed problem in add_lns, add_lns(-Inf, -Inf) now return -Inf, instead of Nan
some display tools