When the Messenger of Allah (ﷺ) did not pray at night because he was prevented from doing so by sleep- meaning, sleep overwhelmed him- or by pain, he would pray twelve rak'ahs during the day.