float-types: added