Hi guys, when the manufacter lists seat tube angle as 73, and the seat post is listed as a 25mm setback, does that mean the real seat tube angle is around 72 assuming middle saddle position... Or is that already calculated by the manufacter and it's 73 with the setback?

I'm trying out a zero setback post so I wana see how much stepper I'm going.