Commit 5ff33ed9cc3e5ed9e974b9b6bca008cfc3d291e4

Thomas de Grivel 2024-11-06T20:12:10

env_eval_equal_time: fix evaluation of time by casting twice.