Use GCC builtins for ceil functions if desired.