Adding float for EiffelStudio