Fix wrong integer conversion when computing xpmax in norver function … #628

Job	Run time
mmg-debug / ci (ubuntu-20.04, on, off, on, off, int32_t)	1h 17m 19s
mmg-debug / ci (ubuntu-20.04, on, off, off, off, int32_t)	1h 36m 30s
mmg-debug / ci (ubuntu-20.04, off, off, on, off, int32_t)	1h 1m 13s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int32_t)	1h 8m 17s
mmg-debug / ci (macos-12, on, off, on, off, int32_t)	47m 11s
mmg-debug / ci (macos-12, on, off, off, off, int32_t)	1h 4m 35s
mmg-debug / ci (macos-12, off, off, on, off, int32_t)	39m 26s
mmg-debug / ci (macos-12, off, off, off, off, int32_t)	45m 17s
mmg-debug / ci (ubuntu-20.04, off, off, off, on, int32_t)	4m 11s
mmg-debug / ci (macos-12, off, off, off, on, int32_t)	10m 28s
mmg-debug / ci (ubuntu-20.04, off, on, on, off, int32_t)	1h 2m 17s
mmg-debug / ci (macos-12, off, on, on, off, int32_t)	49m 7s
mmg-debug / ci (windows-2022, off, off, off, off, int32_t)	53m 41s
mmg-debug / ci (windows-2022, on, off, off, off, int32_t)	52m 42s
mmg-debug / ci (windows-2022, off, on, off, off, int32_t)	54m 13s
mmg-debug / ci (ubuntu-20.04, on, on, on, on, int64_t)	4m 38s
mmg-debug / ci (ubuntu-20.04, off, off, on, on, int64_t)	1h 10m 45s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int64_t)	2m 11s
mmg-debug / ci (macos-12, on, on, on, on, int64_t)	8m 47s
mmg-debug / ci (macos-12, off, off, off, off, int64_t)	6m 2s
mmg-debug / ci (windows-2022, on, on, off, off, int64_t)	4m 53s
mmg-debug / ci (windows-2022, off, off, off, off, int64_t)	4m 45s
mmg-debug / upload_coverage	1m 52s
	14h 50m 20s

Provide feedback