int(i64 * f64)
