fileModificationSkew: now a floating-point number to support sub-second specification. Patch contributed by Mattijs Janssens