PHP Floating Point DoS Attack Workaround