Is there a way to stop PHP autocasting a MongoDB ObjectID string into a number? [closed]