setLocalTime() should be able to accept fractional seconds (by changing variable type from int to float) or get an additional field which will allow milliseconds to be used as a parameter.
Was it actually implemented or just abandoned? I was hoping for this ability to simulate ISS transits...