allow decimal values in ini