Because Super Mario 64 maps still use only IEEE‑754 32bit floating point numbers for positions, they are only a covering space, not the universal covering space of the collision detection space, which uses short ints I will elaborate below.
# List checkpoints
，更多细节参见heLLoword翻译官方下载
"net/netip"
For results to be reproducible and to have better control over resource utilization, both databases and tests run in Docker. MongoDB, version 7.0.29, has the following config:
Add Python bindings using pyo3 0.27.2 and maturin, with relevant package-specific constraints (specifying the pyo3 version is necessary to ensure compatability with Python 3.10+)