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);
    }