s11n: "sum"->"value", 0.00->"0.00", to match spec.
Work around bug in BigDecimal.stripTrailingZeros()

Bug is https://bugs.openjdk.java.net/browse/JDK-6480539

Also move format-min-dp into clear shared-between-related-namespaces section.
verification-path: accept uid as alternative to index

For situations like tests where indexing the whole tree is overkill.