Like stat(2), except the output is of type real because of limited precision of Integer.
impure function stat input String fileName; output Boolean success; output Real fileSize; output Real mtime; end stat;