tree af8cb61a67430bbafa2772c63f7b636c2f1e38a4
parent 3a9d9a0e899811e57234c7a428754e851ec1a62c
author Nico Huber <nico.h@gmx.de> 1776597275 +0000
committer Nico Huber <nico.h@gmx.de> 1780053843 +0000

time: Rewrite Now_US() again to ease automatic proving

Currently it struggles with the 64-bit modular to range conversion.
Adding a step in between, a 63-bit modular type, works better.

Change-Id: I32b1a771b18bcc243244cb05636dae6d9f148f90
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/501
Tested-by: Ada SPARK <gnatbot@sourcearcade.org>