using Microsoft.EntityFrameworkCore;

var options = new DbContextOptionsBuilder<MyDbContext>()
    .EnableSensitiveDataLogging()
    .UseCosmos("AccountEndpoint=https://localhost:8081/;AccountKey=C2y6yDjf5/R+ob0N8A7Cgv30VRDJIWEHLM+4QDU5DE2nQ9nDuVTqobD4b8mGGyPMbIZnqyMsEcaGQy67XIw/Jw==", "test")
    .LogTo(Console.WriteLine, Microsoft.Extensions.Logging.LogLevel.Information)
    .Options;

using var context = new MyDbContext(options);
await context.Database.EnsureDeletedAsync();
await context.Database.EnsureCreatedAsync();

context.Products.Add(new Product { Id = 1, Int = 3 });
await context.SaveChangesAsync();

var result = await context.Products.Select(p => p.Int / (p.Int + 1)).SingleAsync();

                                                                              // 1                               0
Console.WriteLine("Cosmos db returned  0.75, the materialized result is: " + result + ", but should be: " + (3 / (3 + 1)));


public class MyDbContext(DbContextOptions options) : DbContext(options)
{
    public DbSet<Product> Products { get; set; } = null!;
}

public class Product
{
    public int Id { get; set; }
    public int Int { get; set; }
}