I can find no prior use or definition of ceil anywhere...