FROM mcr.microsoft.com/devcontainers/python:3.12 RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \ && apt-get -y install libgmp-dev libmpfr-dev libmpc-dev
