By means of fields of formal power series, we construct definite
Banach spaces over (Krull) valued fields for any cofinal type $\geq\omega _{0}$ of the value group.
Among these spaces are all known
non-classical form-Hilbert spaces of infinite dimension.