(&$i64)
| 718 | } |
| 719 | |
| 720 | public function readI64(&$i64) |
| 721 | { |
| 722 | if (PHP_INT_SIZE === 4) { |
| 723 | $i64 = $this->readJSONIntegerAsString(); |
| 724 | } else { |
| 725 | $i64 = $this->readJSONInteger(); |
| 726 | } |
| 727 | |
| 728 | return true; |
| 729 | } |
| 730 | |
| 731 | public function readDouble(&$dub) |
| 732 | { |