PHP native-types object wrappers