GitHub repository: zlodes/ext-decimal
Description: Correctly-rounded, arbitrary precision decimal floating-point arithmetic in PHP 7