more exact numerical checks; keepme mtime 9/10 instead of 1/2