float: completely implemented. Most tests will fail however, because representation errors in maude and JDK java lead to different results when floats values are printed.