int(f64) < i32
