arx/ArxLibertatis — comment on commit 6675bf55be4cda10996b064c7b632bcbf6ad44bb
File: src/core/GameTime.h line 154
By adejr:

since these values and their accessors are isolated in this class, last_frame_time and frame_time could be replaced with u64 values and stored as int before cast to float. this would eliminate the need for casting to int from the float value in the operator "int" accessors and also increase precision, assuming that would be safe while the float value is still used.

for frame_delay itself as it is a delta-value the issue of precision is less critical.