ISIS-421: RO TCK tests, bigdecimal/integer format

Render format as "big-decimal(p,s)" according to BigDecimalValueFacet.  Render "big-integer(18)" for big integers (hard-coded).