decide point equality (#1848) #435

Job	Run time
docker-master	1h 43m 24s
publish-standalone-dry-run	20s
test-standalone (master, dev, default)	1m 1s
build-js-of-ocaml (master, 4.11.1)	14m 45s
build-wasm-of-ocaml (master, 4.14.1)	13m 52s
generated-files (master)	38s
standalone-haskell (master)	54m 54s
test-amd64	2h 19m 20s
validate-docker-master	37m 5s
deploy-js-wasm-of-ocaml	30s
docker-check-all	8s
	6h 5m 57s

Provide feedback