Double precision firmware

For my current esp32-project I need double precision so I installed the following firmware:
However, I also need ntptime and SoftI2C and these modules seem not to be included in the firmware mentioned. Is it possible that there will be an updated version of the double precision firmware soon? Or can I find one elsewhere?

Poul Riis