EPaperdisplay.time_to_refresh never reaches zero

[bablokb]

CircuitPython version

# all since PR #9140

Code/REPL

while display.time_to_refresh() > 0:
  time.sleep(display.time_to_refresh())

Behavior

endless loop

Description

In many of my programs I have the above conservative code snippet. Since PR #9140 this results in an endless loop, since the "fix" will always add 0.1.

When I change my code to

if display.time_to_refresh() > 0:
  time.sleep(display.time_to_refresh())

I don't have the endless loop, but I introduce an additional sleep even where it is actually not necessary.

Wouldn't it make more sense to add the offset to self.core->last_refresh directly? This would make the offset a one-time action and it would make sure that the timer actually expires.

Additional information

No response