TS-1728: Cast float to int64_t