为了获得速度，为了获得速度，将双精度转换为整数

in Redis (https://code.google.com/p/redis) there are scores associated to elements, in order to take this elements sorted. This scores are doubles, even if many users actually sort by integers (for instance unix times).) ther