Update ceil.py