Statistics for Realcompactifications of frames