Implemented, somewhat crude, log_sum_F().