jjtn002._ptToken = new FloatToken(value.floatValue());
} else if (x.endsWith("d") || x.endsWith("p")) {
// all floating point numbers are double
Double value = new Double(x.substring(0, len - 1));
if (x.endsWith("p")) {
jjtn002._ptToken = new PetiteToken(value
.doubleValue());
} else {
jjtn002._ptToken = new DoubleToken(value
.doubleValue());
}