documented ceil