added int64 type