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