@PING with millisecond timeout

#1
I recently needed to ping with a timeout smaller than one second. So I reinstated an @ICMP[] plugin of mine. Could @PING[] be made to accept its timeout as milliseconds?