decimal should be locale-agnostic

PHP's float->string conversion is locale dependent. It can use arbitrary symbol as decimal-separator.
refs #178