Fix int()