I’m not sure what “float equation” means in this context, but the formula can be found in the Conv2d docs 21.
Specifically the Floor operation 10 is used to calculate the output shapes (looks like an uppercase L on the left and flipped on the right hand side of the calculation).