We are in the middle of a large redevelopment - the property has a mansard roof (I didn't know what this was until recently). Long story short, the first floor rooms are kind of in the roof (see example pictures).
The builders have put 100mm Kingspan between the rafters, and 25mm PIR on top of...