Re: jit-lock timer etc.

[Richard Stallman]

    > However, returning the value in floating point might be a good method.

    That would be much better and cleaner, IMO.
    And we can leave time-to-seconds where it is!

    > But if we do that, we should call it float-idle-time.

    Why?

For consistency with float-time.

I see Yidong has already fixed the bug, by extending
run-with-idle-time to handle this type of value.  But it would still
be useful to add float-idle-time.  Would you like to do that?