try {
x = token.image.toLowerCase();
len = x.length();
if (x.endsWith("f")) {
Float value = new Float(x.substring(0, len - 1));
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