ok ? div : i64
