<?php

    $tot = array();

    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.85;
    $tot[] = 0.425;
    $tot[] = 0.425;

    foreach( $tot as $chave=>$value )
        $avl += $value;

    echo $avl . "<br />";
    echo number_format($avl, 50, ",", ".") . "<br />";
    echo number_format(array_sum($tot), 50, ",", ".");
?>