# Number of whole seconds of elapsed time.
	fun sec : Int `{
		return self->tv_sec;
	`}