Added #ceil, #ceiling