No, it was confirmed to fit and we have gone right up to that exact same value before without issue. I did not use Dashwhale's number (which actually rounds down anyway), but rather calculated it. I think the lesson is correct though, going right up to the line may introduce a bug in 12.0, so...