static function format_number($number) {
        $formatted = rtrim(format_float($number, 4),'0');
        if (substr($formatted, -1)==get_string('decsep', 'langconfig')) { //if last char is the decimal point
            $formatted .= '0';
        }
        return $formatted;
    }
static function format_number($number) {
        $formatted = rtrim(format_float($number, 4),'0');
        if (substr($formatted, -1)==get_string('decsep', 'langconfig')) { //if last char is the decimal point
            $formatted .= '0';
        }
        return $formatted;
    }
static function format_number ( $ number ) { $ formatted = rtrim ( format_float ( $ number , 4 ) , '0' ) ; if ( substr ( $ formatted , - 1 ) == get_string ( 'decsep' , 'langconfig' ) ) { //if last char is the decimal point $ formatted .= '0' ; } return $ formatted ; }
Grader report has its own decimal place settings so they are handled elsewhere.
Grader report has its own decimal place settings so they are handled elsewhere .