redis.client.Lock: use float timestamp