Mojo 0.25.7 nightly now allows @export + PythonModuleBuilder to emit symbols, but compiling a shared library that calls PythonObject.to_float64() still fails. This blocks numeric-heavy modules (vector ...