Include mention of the new decimal extension in PHP

brazzy / floating-point-gui.de

Website that provides concise answers to common questions about floating-point numbers.

http://floating-point-gui.de/

1.02k stars 167 forks source link

Closed rtheunissen closed 5 years ago

rtheunissen commented 6 years ago

Hi there!

I would like to propose the addition of the new decimal extension to the PHP section.

You can read more about it here: http://php-decimal.io

brazzy commented 5 years ago

Thank you very much, and I'm sorry for taking so long to react!

rtheunissen commented 5 years ago

Thanks @brazzy ✨