Rename 'cast_to_int.php'