num = ((TemplateNumberModel) model).getAsNumber();
} catch (ClassCastException e) {
throw new TemplateException(
"Expecting a number on the left side of ?c", env);
} catch (NullPointerException e) {
throw new InvalidReferenceException("Undefined number", env);
}
if (num instanceof Integer) {
// We accelerate this fairly common case
return new SimpleScalar(num.toString());
} else {