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; }