Mostly clarifications w.r.t. numbers. The anomalous behavior of leading minus signs is documented, with an explicit notice that this will probably change.