How to do simple float calculations in a interrupt handler on NodeMCU ESP32

cros_time_t is a float?

It's very strange to use floats as timing values.

The native timestamps are integers, aren't they?

Here is some further information

from

https://docs.espressif.com/projects/esp-idf/en/latest/esp32/api-guides/freertos-smp.html