<?php

echo(PHP_INT_MIN/-1);