Rounding effects in record statistics.