<?php
float pi ( void )
?>
<?php
echo 'PHP ' . PHP_VERSION . '<br><br>';
setlocale(LC_ALL, 'de', 'de-DE', 'de_DE');
$pival01a = pi();
$pival01b = M_PI;
echo 'π = ' . $pival01a .
'<br><br>Which has the same value as the constant:
<br><br>M_PI = ' . $pival01b;
?>