A new boundary integral equation formulation for the floating body problem, which is defined on a bounded domain and includes a hypersingular and a nonlocal part, is proved to satisfy a Gärding inequality. Under the assunlption of uniqueness it is shown, that an approximating sequence of related semidiscrete integral operators is uniformly bounded invertible.