/* Auto-generated from php/php-langspec tests */
bool(false)
$average = 55
$result = 3.456