Increase time precision in line with python.
Increase time precision in line with python.

PiperOrigin-RevId: 304445929
Change-Id: I0fd11f9901cb0a1dabc1b86d5c0428028d4f2f5c

deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel