Int32: Serializable<number> = ...