[BUG #7904] deal with floating point style values