PHP jsonSerialize() should cast scalar types

In PHP, values from databases and such are usually always strings, so it is useful to cast values during JSON serialization to maintain the Thrift schema's types.