\ceil and \floor commands