PHP code - 12 lines

Link:

PHP, pasted on Aug 10:

<?php
$a = 1.0;
$b = 0.0;
while (1)
{
    $b = $a;
    $a /= 2.0;
    if ($a == 0.0)
        break;
}
var_dump($b);
?>

Output:

1	float(4.9406564584125E-324)