Lines Matching refs:integer
400 throw new EncoderException('The encoded integer type is malformed.');
619 * @param string|integer $integer
622 protected function validateNumericInt($integer): void
624 if (is_int($integer)) {
627 if (is_string($integer) && is_numeric($integer) && strpos($integer, '.') === false) {
633 $integer
1090 throw new EncoderException('Zero length not permitted for an integer type.');
1127 'An integer higher than PHP_INT_MAX int (%s) was encountered and the GMP extension is not loaded.',