Decide point equality #433

Job	Run time
docker-master	1h 40m 32s
publish-standalone-dry-run	15s
test-standalone (master, dev, default)	59s
build-js-of-ocaml (master, 4.11.1)	14m 5s
standalone-haskell (master)	54m 8s
build-wasm-of-ocaml (master, 4.14.1)	13m 50s
generated-files (master)	27m 37s
test-amd64	2h 19m 11s
validate-docker-master	1m 25s
deploy-js-wasm-of-ocaml	29s
docker-check-all	4s
	5h 52m 35s

Provide feedback