Why? It is serialized as BSON int64(type 0x12) right? So it should come back as int64 too, even though it fits in int32?