Fixed an issue with generate_php_value() whereby an integer value would incorrectly be returned as a string.