Format Redis floating point values as "%.16g" to avoid losing precision. Fixes #857.