def human_time(s):
	"""Convert floating-point seconds into human-readable time"""
	if s < 60.0: return "%.3f" % s
	m = int(s) / 60
	if m < 60: return "%d:%06.3f" % (m, s % 60)
	return "%d:%02d:%06.3f" % (m // 60, m % 60, s % 60)