+function format_decimal($str) {
+ $str = ereg_replace('[^0-9.-]', '', $str);
+ if(substr($str, 0, 1) == '-') {
+ $str = format_positive_decimal(substr($str, 1));
+ if($str !== '' && $str !== '0' && $str != '0.0') {
+ $str = '-' . $str;
+ }
+ return $str;
+ } else {
+ return format_positive_decimal($str);
+ }
+}
+