sematic float type done