Make Int ValueConvertible
Make Int ValueConvertible

Almost every time, users want their Ints to become Int32, to avoid {"$numberLong":"1"} junk in the Extended JSON output. This change causes Ints to be stored as 32-bit until they become too wide.
OpenKitten/BSON,OpenKitten/BSON,PlanTeam/BSON,savelii/BSON,PlanTeam/BSON