There's a lot of different reporting in the trades about Michael's budget. Our most trusted sources, like Deadline and Puck, agree that the film was originally shot for $155M, and then had an additional ~$50M of reshoots, for a total of $200M. Some outlets are only reporting the original budget, since it was originally greenlit for $155M.