CREATE..SELECT with DIV creates columns of a wrong data type

SET sql_mode='';

SELECT 1e14 DIV 2 AS c1, '' DIV 2 AS c2;

CREATE OR REPLACE TABLE t1 AS SELECT 1e14 DIV 2 AS c1, '' DIV 2 AS c2;

SELECT * FROM t1;

SHOW CREATE TABLE t1;

+----------------+------+

| c1             | c2   |

+----------------+------+

| 50000000000000 |    0 |

+----------------+------+

+------------+------+

| c1         | c2   |

+------------+------+

| 2147483647 |    0 |

+------------+------+

+-------+-------------------------------------------------------------------------------------------------------------------+

| Table | Create Table                                                                                                      |

+-------+-------------------------------------------------------------------------------------------------------------------+

| t1    | CREATE TABLE `t1` (

  `c1` int(4) DEFAULT NULL,

  `c2` int(0) DEFAULT NULL

) ENGINE=InnoDB DEFAULT CHARSET=latin1 |

+-------+-------------------------------------------------------------------------------------------------------------------+