@thomasfuchs @js It might be a rounding error, I’ll look into it