fix for interval argument to nftimertarget to allow sub-second precision