fixed: PHP's numeric string does not work properly