Corrected a bug in themeValue where floating point numbers where not
recognized