i64 < float(f64)
