public static function printFloat($value) { return preg_replace("/(\\.\\d+?)0+\$/", "\$1", sprintf("%F", $value)); }