My company does this. if i start work at 7 i can stop at 3, 8-4, etc. Before we went widely WFH if you were in the office for 8 hours that was it. People ought to have been pushing back on the whole “8 hours is actually 9 hours” years ago.