+ return ereg_replace('^0*([0-9])', '\1', $str);
+}
+
+function format_decimal($str) {
+ $str = ereg_replace('[^0-9.]', '', $str);
+ $pos = strpos($str, '.');
+ if($pos !== false) {
+ $str = str_replace('.', '', $str);
+ if($pos == 0) {
+ return '0.' . $str;
+ } elseif($pos == strlen($str)) {
+ return $str;
+ } else {
+ return substr($str, 0, $pos) . '.' . substr($str, $pos);
+ }
+ }
+ return $str;
+}
+
+# return 0 of there's no digits
+function format_int_0($str) {
+ $str = format_int($str);
+ if($str == '') {
+ return '0';
+ }
+ return $str;