ok ? i64 : div
