fn int_to_f64(v: i64) -> f64
#set literals only accept i64 values that fit comfortably in f64’s mantissa; cap at ±2^53 so the cast is exact.
#set