https://phlearn.com/magazine/f-stops...-need-to-know/
F7.1 to F5 is double the amount of light.
So F7 to F6.5 then is around 23%. I don't know the scale is linear though it may not be.
Theoretically with the same camera it should need around 20% less exposure time for the same brightness image.
Greg.