pyephem/ephem on esp32 micropython

Question

I need astronomical calculations on an ESP-32 microcontroller with Micropython. The only thing I found is https://github.com/peterhinch/micropython-samples/tree/d2929df1b4556e71fcfd7d83afd9cf3ffd98fdac/astronomy but it is not enough for me. On a regular computer I use skyfield That is the best and most accurate, but it probably won't fit the microcontroller Because there is no numpy. Does anyone know how I can use pyephem/ephem on an ESP-32 with Micropython? The main problem is probably libastro https://github.com/brandon-rhodes/pyephem/tree/master/libastro which is a lot of files in C language. See also here: https://github.com/brandon-rhodes/python-jplephem/issues/59#issuecomment-2538892606 I want to use a microcontroller with 16 MB of memory. Which is more expensive than the simple one. https://lilygo.cc/products/t-display-s3?variant=42284559827125 (The simple controller only has 2 MB). (Alternatively, maybe someone could develop and make more precise https://github.com/peterhinch/micropython-samples/tree/d2929df1b4556e71fcfd7d83afd9cf3ffd98fdac/astronomy) Thank you very much.