在Redis中，`ZADD`命令用于将一个或多个成员元素及其分数值加入到有序集当中。每个元素的分数值（score）可以是任意的浮点数，包括正数、负数和零。理论上，分数值的范围是无限的，但实际上受到Redis配置的限制。
Redis的浮点数实现遵循IEEE 754标准，这意味着它可以表示双精度浮点数（double precision floating point numbers）。双精度浮点数有64位，其中52位用于尾数（有效数字），11位用于指数，1位用于符号。这种表示法允许表示非常大或非常小的数值，但其精度有限。
在实践中，Redis的分数值范围受限于以下几个方面：
1. 最大值和最小值：Redis的浮点数可以表示的值范围非常大，但理论上存在最大值（约为1.8 x 10^308）和最小值（约为2.225 x 10^-308）。然而，在实际应用中，由于精度限制，可能无法精确地表示这些极值附近的数值。
2. 精度：由于双精度浮点数的尾数只有52位，这意味着在小数点后第53位及以后的数字将不再精确。因此，对于需要高精度计算的场景，Redis的浮点数可能不是最佳选择。
3. Redis配置：Redis的配置文件（redis.conf）中有一些设置可能影响浮点数的行为，例如`min-slaves-max-lag`和`lua-time-limit`等，但这些设置与`ZADD`命令的分数值范围无直接关系。
总之，Redis的`ZADD`命令支持双精度浮点数作为分数值，理论上具有非常大的值范围和有限的精度。在实际应用中，应根据具体需求和精度要求来选择合适的分数值范围。