Int32

extension Int32: JSONConvertible