Custom decimal separator

I've had to remove the plus-minus character because it's not compatible with GitHub's online editor