}
}
// TODO: add unit specifier here
Message m = decimal ? new Message(runtime, "internal:createDecimal", sb.toString()) : new Message(runtime, "internal:createNumber", sb.toString());
m.setLine(l);
m.setPosition(cc);
top.add(runtime.createMessage(m));
}