Float safe typed operations with currencies in PHP