<?php

var_dump(067);
var_dump(077);
var_dump(078);
var_dump(0x78);
var_dump(0x78f);
var_dump(0xef);
var_dump(-067);
var_dump(-077);
var_dump(-078);
var_dump(-0x78);
var_dump(-0x78f);
var_dump(-0xef);
