Well powderful I think 7hrs is average no of hrs right? If that's the case, mine is usually 5-6hrs.. Been feeling a bit more tired than usual lately.. think it's lack of sufficient sleep.
Ah siao, for ur case, I think it's ok to sleep more cos u work out.. ur body needs more time to repair itself mah..