Closed dzhang314 closed 9 years ago
No actually this behaviour is correct, int should truncate towards zero and not round down. So rounding towards zero is right for python.
Oops, looks like I was mistaken about this one. Thanks, I'll close the issue.
int()
should always round down, but currently appears to round toward zero.