private static function get_pretty_float($float, $short = false)
{
$output = '<span style="color: #990033;">';
if (true !== $short) {
$output .= '<b><i>float</i></b> : ';
}
$output .= $float . '</span><br />';
return $output;
}