Minor fixes to schema productions for BigDecimal/BigInteger