-- Copyright 2004-2023 H2 Group. Multiple-Licensed under the MPL 2.0,
-- and the EPL 1.0 (https://h2database.com/html/license.html).
-- Initial Developer: H2 Group
--

-- Division

SELECT CAST(1 AS TINYINT) / CAST(0 AS TINYINT);
> exception DIVISION_BY_ZERO_1

SELECT CAST(-128 AS TINYINT) / CAST(1 AS TINYINT);
>> -128

SELECT CAST(-128 AS TINYINT) / CAST(-1 AS TINYINT);
> exception NUMERIC_VALUE_OUT_OF_RANGE_1

EXPLAIN VALUES CAST(1 AS TINYINT);
>> VALUES (CAST(1 AS TINYINT))
