src/Encoder/IntegerEncoder.php
public function encodeDecimal($integer, $options)
    {
        if ($integer === 1 << (\PHP_INT_SIZE * 8 - 1)) {
            return sprintf('(int)%s%d', $options['whitespace'] ? ' ' : '', $integer);
        }

        return var_export($integer, true);
    }
public function encodeDecimal($integer, $options)
    {
        if ($integer === 1 << (\PHP_INT_SIZE * 8 - 1)) {
            return sprintf('(int)%s%d', $options['whitespace'] ? ' ' : '', $integer);
        }

        return var_export($integer, true);
    }
public function encodeDecimal ( $ integer , $ options ) { if ( $ integer === 1 << ( \ PHP_INT_SIZE * 8 - 1 ) ) { return sprintf ( '(int)%s%d' , $ options [ 'whitespace' ] ? ' ' : '' , $ integer ) ; } return var_export ( $ integer , true ) ; }
Encodes an integer into decimal representation.
@param int $integer The integer to encode
@param array $options The integer encoding options
@return string The PHP code representation for the integer
Encodes an integer into decimal representation .