If it's the former, it's been common to have "compressed hours" as a flexitime option in many big UK companies for decades.