Merge remote-tracking branch 'remotes/origin/main' into 1914-remove-divisions-with-constant-denominator
