* The real-valued versions of ln, log, powr have been totalised by ln(0) = x and ln(-x) = ln(x). Many related theorems are now unconditional, with ln_mult_pos and ln_divide_pos introduced for legacy purposes. Larry