fixed built-in int()