Getting the ceil value of a number in SQLite

ceil, sql, sqlite

Solution

How about this?

select (case when x = cast(x as int) then cast(x as int)
             else 1 + cast(x as int)
        end)

Problem

So I see this question has a good answer, but I want to round up no matter what, instead of rounding down no matter what. Adding 1 to it before casting int wouldn't work because it would "round" 5.0 into 6.0, for example. So how should I implement `ceil` in SQLite?

Original source

Related problems