Though I remember there was 0.008 gap for the closest.
Just some races ago, we have 0.010 gap. Even the result in live race viewer got it wrong.
https://www.igpmanager.com/app/d=result&id=19768843&tab=race

And another closest finish: https://igpmanager.com/app/d=result&id=19633345&tab=race all 17 drivers finished under 7 seconds.