Added File::size() method