K 10 svn:author V 6 davide K 8 svn:date V 27 2013-02-06T16:25:42.427685Z K 7 svn:log V 88 Remove a stale comment, introduced in r238424. Now we can deal with sub-tick precision. END