Source position: jsonreader.pp line 143
procedure IJSONConsumer.IntegerValue(
const AValue: Integer
);