compatibility with 32 bit PHP 5.3. managed_customer_id wrong type

[Vince-Cercury]

There is a bug in PHP which causes to convert the managed_customer_id into an integer which is wrong.
On line 262 of processs_recurring_eway_payments add:

//PHP bug: https://bugs.php.net/bug.php?id=49669. issue with value greater than 2147483647.
settype($managed_customer_id,"float");

otherwise the soap call will change the managed customer id to 2147483647 which is the greatest value of an Integer