BigInteger and BigDecimal now implement Serializable

These classes were already serializable using the default PHP serialization mechanism, but this implementation offers a simpler and more compact serialized representation.