Sebastien Loriot 3ebe9203a7 Fix PMP on i386/i686 (32 bits, with the x87 FPU) (#8911) ...

## Summary of Changes

Fix PMP on i386/i686 (32 bits, with the x87 FPU).

## Release Management

* Affected package(s): PMP, Number_types

2025-11-20 10:28:31 +01:00

..

CGAL

Fix PMP on i386/i686 (32 bits, with the x87 FPU) (#8911)

2025-11-20 10:28:31 +01:00