ydb/yql/essentials/tests/s-expressions/suites/ImplictCasts/Arithmetic.yqls

(
(let config (DataSource 'config))

(let res_sink (DataSink 'result))
(let res (List (ListType (DataType 'Uint64))))
(let res (Append res (+ (Int32 '5) (Uint64 '5))))
(let res (Append res (+ (Int32 '-5) (Uint64 '5))))
(let res (Append res (+ (Uint64 '5) (Int32 '-5))))
(let world (Write! world res_sink (Key) res '('('type))))
(let res (List (ListType (DataType 'Uint64))))
(let res (Append res (- (Int32 '5) (Uint64 '5))))
(let res (Append res (- (Int32 '-5) (Uint64 '5))))
(let res (Append res (- (Uint64 '5) (Int32 '-5))))
(let world (Write! world res_sink (Key) res '('('type))))
(let res (List (ListType (DataType 'Uint64))))
(let res (Append res (* (Int32 '5) (Uint64 '5))))
(let res (Append res (* (Int32 '-5) (Uint64 '5))))
(let res (Append res (* (Uint64 '5) (Int32 '-5))))
(let world (Write! world res_sink (Key) res '('('type))))
(let res (List (ListType (OptionalType (DataType 'Uint64)))))
(let res (Append res (/ (Int32 '5) (Uint64 '5))))
(let res (Append res (/ (Int32 '-5) (Uint64 '5))))
(let res (Append res (/ (Uint64 '5) (Int32 '-5))))
(let world (Write! world res_sink (Key) res '('('type))))
(let res (List (ListType (OptionalType (DataType 'Uint64)))))
(let res (Append res (% (Int32 '5) (Uint64 '5))))
(let res (Append res (% (Int32 '-5) (Uint64 '5))))
(let res (Append res (% (Uint64 '5) (Int32 '-5))))
(let world (Write! world res_sink (Key) res '('('type))))
(let world (Commit! world res_sink))
(return world)
)