writeString(jp.getText());
}
break;
case ID_NUMBER_INT:
{
NumberType n = jp.getNumberType();
if (n == NumberType.INT) {
writeNumber(jp.getIntValue());
} else if (n == NumberType.BIG_INTEGER) {
writeNumber(jp.getBigIntegerValue());
} else {
writeNumber(jp.getLongValue());
}
break;
}
case ID_NUMBER_FLOAT:
{
NumberType n = jp.getNumberType();
if (n == NumberType.BIG_DECIMAL) {
writeNumber(jp.getDecimalValue());
} else if (n == NumberType.FLOAT) {
writeNumber(jp.getFloatValue());
} else {