PHP code - 6 lines

Link:

PHP, pasted on Jun 20:

<?php
$x = 12;
$y = 13;

ini_set('precision', 0);
echo $value = $x / $y;

Output:

0.9