+ return ereg_replace('^0*([0-9])', '\1', $str);
+}
+
+# format the digits after the decimal point
+function format_decimals($str) {
+ $str = ereg_replace('[^0-9]', '', $str);
+ if(strlen($str)) {
+ $str = substr($str, 0, 1) . ereg_replace('0*$', '', substr($str, 1));
+ }
+ return $str;
+}
+
+function _format_positive_decimal($str) {
+ $str = ereg_replace('[^0-9.]', '', $str);
+ $pos = strpos($str, '.');
+ if($pos !== false) {
+ $str = str_replace('.', '', $str);
+ if($pos == 0) {
+ return '0.' . format_decimals($str);
+ } elseif($pos == strlen($str)) {
+ return format_int($str);
+ } else {
+ return format_int(substr($str, 0, $pos)) . '.' . format_decimals(substr($str, $pos));
+ }
+ }
+ return format_int($str);
+}
+
+function format_positive_decimal($str) {
+ $str = _format_positive_decimal($str);
+ if(substr($str, -2) === '.0') {
+ $str = substr($str, 0, -2);
+ }
+ return $str;
+}
+
+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 = '-' . $str;
+ }
+ return $str;
+ } else {
+ return format_positive_decimal($str);
+ }
+}
+
+# return 0 of there's no digits
+function format_int_0($str) {
+ $str = format_int($str);
+ if($str == '') {
+ return '0';
+ }
+ return $str;