Clock precision setting

In reply to bachan21:

$time returns an integer, $realtime returns a real. That could have been one possible issue with the original incomplete piece of code, but it did not show any use of either function. If they were just looking at waveforms, that would not have mattered.