Sobald du das als double castest, rechnet er damit auch als double. Auch mit dem entsprechenden Platzbedarf!

Und wieso sollte da etwas undefiniertes rauskommen? Klar, wenn hi_time um einen bestimmten exponenten größer ist, fällt low_time unter den Tisch. Aber das hast du genauso, wenn du diese Variablen als double vorliegen hast...
Das liegt ganz einfach an der internen Speicherung des Datentyps.

Pro Berechnung verwendet der GCC immer den größten Datentyp der einzelnen Summanden/Multiplikatoren.

So wie Lorcan es geschrieben hat, sollte s also keine Probleme geben.

Gruß
zerush