<?php
$score = (double) 13;
echo ($score);
?>
quando eu usei esse código eu esperava que ele me mostra-se 13.0 por conta de está usando o (double)
mas não mostrou mostrou 13 alguém sabe me ajudar?
Use (float) a invés disso, é o recomendado.
Obrigatoriamente nestes casos, terás que usar o number_format()
echo number_format(13,2,'.',','); //13.00